課程資訊
課程名稱
邏輯合成與驗證
Logic Synthesis and Verification 
開課學期
104-1 
授課對象
電機資訊學院  電子工程學研究所  
授課教師
江介宏 
課號
EEE5028 
課程識別碼
943EU0300 
班次
 
學分
全/半年
半年 
必/選修
選修 
上課時間
星期五2,3,4(9:10~12:10) 
上課地點
電二101 
備註
本課程以英語授課。
總人數上限:30人 
Ceiba 課程網頁
http://ceiba.ntu.edu.tw/1041EEE5028_LSV 
課程簡介影片
 
核心能力關聯
核心能力與課程規劃關聯圖
課程大綱
為確保您我的權利,請尊重智慧財產權及不得非法影印
課程概述

課程目標
 
課程要求
 
預期每週課後學習時數
 
Office Hours
 
指定閱讀
 
參考書目
 
評量方式
(僅供參考)
   
課程進度
週次
日期
單元主題
Week 1
9/18  Introduction; ABC tutorial 
Week 2
9/25  Boolean Algebra 
Week 3
10/02  Representations of Boolean Functions 
Week 4
10/09  (Pre-National Day) 
Week 5
10/16  SOPs and Incompletely Specified Functions 
Week 6
10/23  Two-Level Logic Minimization 
Week 7
10/30  Two-Level Logic Minimization 
Week 8
11/06  Placement (lectured by TA)
(Make-up lecture on 11/13 18:30-21:00) 
Week 9
11/13  Multi-Level Logic Minimization 
Week 10
11/20  Logic Flexibility 
Week 11
11/27  Midterm Exam (two weeks later than school's schedule) 
Week 12
12/04  Technology Mapping 
Week 13
12/11  Timing Analysis and Optimization 
Week 14
12/18  Sequential Circuit Optimization 
Week 15
12/25  Equivalence and Property Checking 
Week 16
1/01  (Happy New Year!) 
Week 17
1/08  Advanced Topics 
Week 18
1/15  Final Quiz; Project Presentation